home *** CD-ROM | disk | FTP | other *** search
- outranks(X,Y) :-
- is_a(X,Z),
- is_a(Y,W),
- higher_than(Z,W).
-
- is_a(sherman_potter,colonel).
- is_a(hawkeye_pierce,captain).
- is_a(charles_winchester,major).
- is_a(b_j_hunnicutt,captain).
- is_a(max_klinger,corporal).
-
- higher_than(colonel,major).
- higher_than(colonel,captain).
- higher_than(colonel,corporal).
- higher_than(major,captain).
- higher_than(major,corporal).
- higher_than(captain,corporal).
-